Using pattern synonyms to abstract implementation of text type